Results for 'P. J. M. Velthhuys-Bechtold'

957 found
Order:
  1. Inventory of the Papers of Pieter Zeeman (1865-1943), Physicist and Nobel Prize Winner, c. 1877-1946.P. J. M. Velthhuys-Bechtold & H. G. Van Bueren - 1995 - Annals of Science 52 (3):310.
    No categories
     
    Export citation  
     
    Bookmark  
  2.  17
    De opvatting Van het huwelijk in het ontwerp voor een nieuw canoniek huwelijksrecht.P. J. M. Huizing - 1977 - Bijdragen 38 (1):72-83.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  3.  69
    Contributions to Logic and Methodology in Honor of J. M. Bochenski. [REVIEW]J. M. P. - 1966 - Review of Metaphysics 19 (3):607-607.
    This is the collection of essays presented to Bochenski on his 60th birthday, and it contains, as a mirror of Bochenski's own work, a broad spectrum of studies ranging from formal logic and history of logic, to the philosophy of logic and language, and to the methodology of explanation in Greek philosophy. Of the seventeen articles, these are some of the more important to the reviewer: "Betrachtungen zum Sequenzen Kalkül" by Paul Bernays, which is an extensive study of Gentzen-type formulations (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  4.  11
    The Art of War. [REVIEW]J. M. P. - 1966 - Review of Metaphysics 19 (4):814-814.
    Although Machiavelli was never a military commander, he was throughout much of his life deeply concerned with the conduct of martial affairs; in short, a Renaissance Herman Kahn. This book is an essay on the technique of war: how on army is organized, who make the best soldiers, field manœuvers and battle formations, logistics, internal stability and control of military units, techniques of siege; these are considered both historically with reference to the ancients, as well as the present—the contemporary applications (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  5.  33
    Einführung in die Mathematische Logik. [REVIEW]J. M. P. - 1966 - Review of Metaphysics 19 (4):812-812.
    This rigorous treatment of elementary logic can best be characterized by noting that it relies heavily on semantical analyses of systems of logic running from the propositional calculus right through to a system of second-order arithmetic. The first chapter covers a multiplicity of topics: the concept of consequence, proofs and calculi, the symbolization of mathematical propositions. Hermes then painstakingly constructs quantification theory: first, the language itself, then its semantics; he then presents a completely set up predicate calculus, giving special attention (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  6.  23
    Enumerability, Decidability, Computability. [REVIEW]J. M. P. - 1966 - Review of Metaphysics 19 (3):588-588.
    This well-written introduction to the theory of recursive functions and effective computability is an English translation of the 1960 German edition. The seven chapters deal with all the usual material, beginning with a treatment of Turing machines and their relation to the intuitive idea of computability, through general recursive functions, to a chapter on such diverse topics as the hierarchy of arithmetical predicates and Fitch's basic logic system. Rather than try to cover the whole subject sketchily, the author confines himself (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  7.  24
    Introduction to the Foundations of Mathematics. [REVIEW]J. M. P. - 1966 - Review of Metaphysics 19 (3):604-604.
    Ever since the first edition appeared in 1952, Wilder's book has been a mainstay of courses in the philosophy and foundations of mathematics, and deservedly so, for it covers most of the topics which provide an insight into the nature of this formal science. There are two parts: the first is a rapid but thorough survey of the axiomatic method, set theory, especially infinite sets, cardinal and ordinal numbers, the linear continuum, and the theory of groups with reference to foundational (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  8.  17
    Recherches sur la Théorie Générale des Systèmes Formels. [REVIEW]J. M. P. - 1966 - Review of Metaphysics 20 (1):158-158.
    The author is interested in discussing various aspects of the propositional calculus; in particular, the relationships among the various propositional connectives in various systems of logic such as Intuitionistic and modal are scrutinized. The first three chapters survey the notation to be used and describe the general notion of logistic system; the author then describes the concept of a deductive system in exceptional generality, then treats the connexions of equivalence and independence among such deductive systems in what are essentially algebraic (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  9.  23
    The Undecidable. [REVIEW]J. M. P. - 1966 - Review of Metaphysics 19 (3):611-612.
    For this volume Professor Davis has assembled a number of the most important papers on undecidable propositions, unsolvable problems and computable functions. Several papers appear here in print for the first time: Gödel's remarks at the Princeton Bicentennial Conference on Problems in Mathematics, and Post's paper on Absolutely Unsolvable Problems. Other authors whose work is included are Church, Turing, Rosser, and Kleene. Gödel's classic "On Formally Undecidable Propositions..." appears in a new translation, and all papers have been corrected, many such (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  10.  26
    Set Theory and Syntactic Description. [REVIEW]J. M. P. - 1966 - Review of Metaphysics 19 (4):808-808.
    The author's central thesis is that a knowledge of set theory can be put to good use by the linguist interested in the syntax of natural languages. The author first points out the role of set theory in formal science, and then gives a short summary of some of the more important ideas. He then develops certain relations in set theory which are of special importance in the study of languages. A fair number of examples—admittedly in rather trivial form—which occur (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  11.  50
    Promoting Virtue or Punishing Fraud: Mapping Contrasts in the Language of ‘Scientific Integrity’.S. P. J. M. Horbach & W. Halffman - 2017 - Science and Engineering Ethics 23 (6):1461-1485.
    Even though integrity is widely considered to be an essential aspect of research, there is an ongoing debate on what actually constitutes research integrity. The understanding of integrity ranges from the minimal, only considering falsification, fabrication and plagiarism, to the maximum, blending into science ethics. Underneath these obvious contrasts, there are more subtle differences that are not as immediately evident. The debate about integrity is usually presented as a single, universal discussion, with shared concerns for researchers, policymakers and ‘the public’. (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   21 citations  
  12.  35
    Facts and Values. [REVIEW]J. M. P. - 1966 - Review of Metaphysics 20 (2):379-380.
    Subtitled "Studies in Ethical Analysis," this collection of eleven essays, most of which have previously appeared in journals, deals with a number of problems central to modern ethical theory: the emotive interpretation of ethical language, persuasive definitions and their role in ethical reasoning, the cognitive versus emotive conceptions of ethics: many of these problems were first raised and examined by Stevenson in his earlier book Ethics and Language. Other essays are of a less retrospective nature: studies on Moore and Dewey, (...)
    Direct download  
     
    Export citation  
     
    Bookmark   31 citations  
  13.  43
    Duration and Simultaneity. [REVIEW]J. M. P. - 1966 - Review of Metaphysics 19 (4):804-805.
    Hitherto unavailable except in the original French, Bergson's Durée et Simultanéité is an engaging contribution to the philosophy of relativity theory, space, and time. The book appeared during a period of great debate on the philosophical status of Einstein's Special Theory, and it treats, therefore, of it to the exclusion of the more conceptually difficult General Theory. Bergson is mainly concerned with trying to explicate the problems of the twin and clock 'paradoxes' which are presently again under some critical discussion. (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  14.  12
    De duurzame en sociale burger.P. J. M. Oosterveer - forthcoming - Idee.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  15.  27
    Non-Standard Analysis. [REVIEW]J. M. P. - 1966 - Review of Metaphysics 20 (2):375-375.
    Abraham Robinson has twice been the initiator of trends in the foundations of mathematics which have later become recognized as profound and important, although they were generally ignored at first: metamathematical problems of algebra and non-standard analysis. This book considers the second topic; before we begin analysis—especially a treatment of the classical theorems of calculus—we need basic results from logic, model theory in particular. Robinson then sketches non-standard arithmetic and proceeds to develop the usual properties and relations of differentiability and (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  16. The Language of Nature: An Essay in the Philosophy of Science. [REVIEW]J. M. P. - 1965 - Review of Metaphysics 19 (2):375-375.
    What is attempted in this book is a presentation of various areas of science in such ways that their attendant philosophical problems are displayed, and their philosophical relevance is made evident. Essentially, there are three parts to the book: the first, comprising chapters on the nature of number, geometry, and the mathematical treatments of motion and measurement, presents the usual problems of conventionalism in geometry, physical vs. formal geometry, but also discusses Turing machines and information theory. The next five chapters (...)
     
    Export citation  
     
    Bookmark  
  17.  24
    Essays in the Philosophy of Mathematics. [REVIEW]J. M. P. - 1966 - Review of Metaphysics 20 (1):150-151.
    This is a collection of papers, all but one of which were previously published, by one of England's leading logicians. Goodstein has described his position in the philosophy of mathematics as that of a "constructive formalist": leaning toward the Hilbert school, but emphasizing the constructive nature of mathematical entities. The papers are more or less technical and symbolic; those most difficult are "The Nature of Mathematics," "The Decision Problem," and "The Definition of Number." Other titles are "Proof by Reductio ad (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  18.  21
    Eine Termlogik mit Auswahloperator. [REVIEW]J. M. P. - 1966 - Review of Metaphysics 19 (3):589-589.
    This short monograph is a formulation and study of a system of first-order predicate logic of terms with a Hibert-Bernays selection-symbol E. The author proceeds through the primitive notation to recursive definitions of terms, relates the usual predicate calculi to this logic of terms, discusses an appropriate theory of models for the system, and finally proves it complete. This paper is one in a series of informal lecture notes in mathematics; hopefully more such studies in logic will appear in the (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  19.  19
    Freedom and Determinism. [REVIEW]J. M. P. - 1966 - Review of Metaphysics 20 (1):164-164.
    This collection of seven papers by six authors centers about the relation of free action to determinism as both a metaphysical as well as a methodological hypothesis. Chisholm is concerned with the problem of whether a human whose behavior is completely controlled by outside forces can still be considered free; Danto studies the old problem of whether it can be said that actions of men are caused in the same way as the activities of other objects. Richard Taylor examines the (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  20.  36
    A Transfinite Type Theory with Type Variables. [REVIEW]J. M. P. - 1966 - Review of Metaphysics 20 (1):144-144.
    The author here constructs a system of simple type theory in which the type hierarchy does not extend merely to any finite height, but to an infinite height; this added part allows him to prove the existence of infinite sets within the theory, instead of taking it as an axiom in the usual simple type theory. The system has been presented in such sufficient generality so as to make it able to accommodate current scientific theories; the author has turned in (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  21.  36
    The Foundations of Intuitionistic Mathematics. [REVIEW]J. M. P. - 1965 - Review of Metaphysics 19 (1):154-155.
    The aim of the authors is to present a comprehensive study of the basis of intuitionistic mathematics by means of modern meta-mathematical devices. The first author, for whom this book is a capstone of twenty years' work on the subject, contributes three chapters on a formal system of intuitionistic analysis, notions of realizability, and order in the continuum; the second provides an analysis of the intuitionistic continuum. An extensive bibliography which includes references to almost every article on the subject makes (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  22.  30
    The Theory of Relativity and a Priori Knowledge. [REVIEW]J. M. P. - 1966 - Review of Metaphysics 20 (1):159-160.
    This book originally appeared in 1920 under the title Relativitätstheorie und Erkenntnis Apriori and was the first of Reichenbach's numerous writings on the philosophical problems of relativity theory, space, and time. In this book the author attempted to show how Kant's theory of the a priori, especially concerning the concept of the a priori as "constituting the concept of [the] object" in question, comes into irrevocable conflict with certain facts of both the General and Special theories of relativity; and that, (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  23.  24
    The Currency and Financial System of Mainland China.J. M. P., Tadao Miyashita & J. R. McEwan - 1967 - Journal of the American Oriental Society 87 (2):220.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  24.  18
    Abstract Set Theory. [REVIEW]J. M. P. - 1966 - Review of Metaphysics 20 (2):366-366.
    The first edition of this now classical work appeared in 1953, the second heavily revised edition in 1961; this most recent edition is a revision in detail only of the previous one. The book is divided into three parts, the first two dealing with finite and infinite sets, infinite cardinals and their arithmetic, and related remarks on non-standard mathematics and the equivalence of various definitions of finitude. The third part considers ordered sets and isomorphism types, the special case of linearly (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  25.  22
    Continuous Model Theory. [REVIEW]J. M. P. - 1966 - Review of Metaphysics 20 (2):364-364.
    This monograph is the first really systematic study of the model theory of many-valued logic. The authors develop model theory for systems of logic whose truth-values lie in a compact topological space; the results are analogous to those for two-valued logic—they yield the two valued logics as special cases—but often the methods of proof are more complicated and tend to reveal some of the deep structure of these logics. There is presupposed a fair knowledge of naive set theory and point-set (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  26.  23
    Foundations of Mathematical Logic. [REVIEW]J. M. P. - 1966 - Review of Metaphysics 19 (3):583-584.
    Although conceived as a textbook, this extraordinary work contains a great deal of material which is either completely new or which has not appeared before in book form. It is intended as an upperlevel text for those with some familiarity with the subject already. After the introduction, there is a long chapter on formal systems which contains new material on algorithms and the theory of definition; epitheory of formal systems is then discussed, followed by an elegant algebraic treatment of logic. (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  27.  49
    Introduction to the Theory of Finite Automata. [REVIEW]J. M. P. - 1966 - Review of Metaphysics 19 (4):814-814.
    The first of the authors is an engineer, the second a logician, and they have collaborated to produce a systematic and comprehensive treatise and textbook on the theory of automata—computing machines viewed abstractly—which presupposes only a slight familiarity with logic; there is a long first chapter which develops propositional and predicate logic; the stipulation of logical operators, the "nets" constructed therefrom, and their physical realization comprise the next two chapters. The representation of automata in input-output tables and flow diagrams, and (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  28.  29
    Colloquium on the Foundations of Mathematics, Mathematical Machines and their Applications. [REVIEW]J. M. P. - 1966 - Review of Metaphysics 19 (4):821-821.
    This volume contains papers and abstracts of papers delivered at the colloquium at Tihany, Hungary in 1962. There were seven sections; mathematical logic, computers and automata theory, circuit theory, mathematical linguistics, computers and programming, applications of computers in economics, artificial intelligence. Among the more interesting—to the reviewer—were these papers: one by Church concerning an independence problem in recursive arithmetic; Muller—characterizing classes of recursive functions; a long and philosophically stimulating study by Watanabe on a formalization of inductive logic; Kiefer—applications of set (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  29.  49
    Hypothetical Reasoning. [REVIEW]J. M. P. - 1966 - Review of Metaphysics 19 (3):597-598.
    This is the first book-length study published of the structure of reasoning and argument dependent on hypotheses. It encompasses far more than the, by now, familiar discussion of contrafactual conditional—this is but one chapter—since it ranges over such topics as the nature of hypothetical inference, belief-contravening hypotheses, contrafactual conditionals and modality, and entailment of conclusion from premisses under restriction. There are three appendices which concern, respectively, the historical roots of hypothetical reasoning and its attendant perplexities, the difficulty concerned in the (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  30.  28
    Time and Space, Weight and Inertia. [REVIEW]J. M. P. - 1966 - Review of Metaphysics 19 (4):810-810.
    In this monograph the author presents the special and general theories of relativity from a geochronometrical viewpoint. The amount of mathematics demanded is not too great, and one can get quite far along on the material on vectors presented early in the book. The first three chapters especially derive from the work of A. A. Robb several decades ago: they treat foundations of geochronometry, one-plus-one geochronometry and its generalization to a one-plus-three system. Later chapters cover such staples as the Lorentz (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  31.  42
    The Ways of Paradox and Other Essays. [REVIEW]J. M. P. - 1966 - Review of Metaphysics 20 (1):158-159.
    This volume is published concurrently with the one reviewed below and together they unite a number of Quine's previously scattered papers into two compact volumes; this volume deals with his more philosophical work while the other is concerned with more purely technical logical studies. The twenty-one essays cover the period 1934-1964 and none have appeared between hard covers before. Several of the articles—"The ways of paradox," "Foundations of mathematics," "On the application of modern logic," and "Necessary truth"—are essentially popular expositions. (...)
    Direct download  
     
    Export citation  
     
    Bookmark   8 citations  
  32.  52
    The Basic Laws of Arithmetic: Exposition of the System. [REVIEW]J. M. P. - 1966 - Review of Metaphysics 19 (4):810-810.
    This book is a translation of some of the more important parts of the Grundgesetze of Frege: the introduction, the first part of the first volume which gives an exposition of the construction, rules, axioms of Frege's formal system, and two appendices, one of which is from the second volume and gives Frege's analysis of the paradox found by Russell in his system. The editor has provided a long introduction "for those not familiar with Frege," although it will benefit those (...)
    Direct download  
     
    Export citation  
     
    Bookmark   10 citations  
  33.  14
    Correction to: The changing forms and expectations of peer review.Willem Halffman & S. P. J. M. Horbach - 2018 - Research Integrity and Peer Review 3 (1).
    Following publication of this article [1] it was brought to our attention that we omitted to provide credit for Table 1. While the content of the table and the systematization of blinding in review have been referenced in the text as coming from [2], the credit line for Table 1 should have been added as follows: “Reproduced with permission from [2] licensed under a CC BY-NC-ND 3.0 License”. The original publication of this article has been corrected accordingly.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  34.  31
    Aspects of Scientific Explanation and Other Essays in the Philosophy of Science. [REVIEW]J. M. P. - 1966 - Review of Metaphysics 19 (3):587-588.
    This rather compendious volume contains twelve articles, eleven of which have been published in the last twenty years; the last, from which the book takes its title, appears in print for the first time. There are four chapters: "Confirmation, Induction, and Rational Belief" contains the paper "Inductive Inconsistencies" as well as "Studies in the Logic of Confirmation"; "Empiricist Criteria of Cognitive Significance" appears in the section "Conceptions of Cognitive Significance"; the very well-known "The Theoretician's Dilemma" appears in the third chapter—"Structure (...)
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  35.  31
    The Special Theory of Relativity. [REVIEW]J. M. P. - 1966 - Review of Metaphysics 20 (1):147-147.
    This is not a textbook in mathematical physics—excepting for one chapter one need not possess much more than geometry and elementary algebra—rather it is a philosophically reflective examination of the cardinal features of special relativity theory. Throughout the book Bohm is not merely doing physics, but thinking about doing physics as well. This metatheoretical reflexion appears in chapters concerning pre-Einsteinian notions of relativity, attempts to save the aether theories, the "ambiguity" of space-time measurements in the new cosmology, "common sense" notions (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  36.  6
    (1 other version)The XIIITH International Conference On the Social Sciences and Medicine: will be held at Hotel Füred, Balatonfüred, Hungary 10-14 October 1994. [REVIEW]P. J. M. McEwan - 1994 - Science, Technology and Human Values 19 (2):254-254.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  37.  44
    On the Willingness to Report and the Consequences of Reporting Research Misconduct: The Role of Power Relations.Serge P. J. M. Horbach, Eric Breit, Willem Halffman & Svenn-Erik Mamelund - 2020 - Science and Engineering Ethics 26 (3):1595-1623.
    While attention to research integrity has been growing over the past decades, the processes of signalling and denouncing cases of research misconduct remain largely unstudied. In this article, we develop a theoretically and empirically informed understanding of the causes and consequences of reporting research misconduct in terms of power relations. We study the reporting process based on a multinational survey at eight European universities. Using qualitative data that witnesses of research misconduct or of questionable research practices provided, we aim to (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  38.  44
    Die Antinomien der Logik: Semantische Untersuchungen. [REVIEW]J. M. P. - 1966 - Review of Metaphysics 19 (4):819-819.
    This concise work is a study of the semantical aspects of various paradoxes arising in formal logic. The author constructs a second-order system T with an interpretation in order to provide apparatus for stating and dodging the antinomies. After presenting a number of paradoxes, the author discusses a semantic vicious-circle principle, and provides a clarification of the problems by its application. He then discusses semantic aspects of some classical meta-mathematical results of Gödel, Tarski, Kleene, and Turing on unsolvable problems. Also (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  39.  27
    Homage to Galileo. [REVIEW]J. M. P. - 1966 - Review of Metaphysics 19 (4):822-822.
    To celebrate the four-hundredth anniversary of Galileo's birth, the University of Rochester held a series of lectures on the thought and influence of Galileo; there were six contributors and their work groups itself into three areas. The first of these is the importance and relevance of Galileo in modern thought and society: these were discussed by Giorgio di Santillana and Gilgerto Bernardino respectively. Norwood Hanson and E. W. Strong study the work of Galileo in dynamics and his theory of measurement. (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  40. Logic: techniques of formal reasoning. [REVIEW]J. M. P. - 1966 - Review of Metaphysics 19 (3):591-591.
    In this textbook on elementary logic the authors present a rigorous treatment of first the propositional, and then the predicate calculi. The first two chapters deal with the former topic exclusively: there is much emphasis on translation of ordinary-language sentences into logic and testing their validity; also a proof notation consisting of nested boxes, similar to the Fitch subproof technique, is introduced and used. The third and fourth chapters are concerned with quantification theory in application to language analysis; the next (...)
     
    Export citation  
     
    Bookmark  
  41.  41
    Languages with Expressions of Infinite Length. [REVIEW]J. M. P. - 1965 - Review of Metaphysics 19 (1):154-154.
    The infinitary languages studied in this book are those in which quantification of infinitely many variables simultaneously, and conjunctions or alternations of infinitely many are permitted. Infinitary concatenation and infinitary propositional logics are first discussed, and a completeness theorem is proved about the latter. The later chapters deal with infinitary predicate languages and Scott's proof of incompleteness is introduced. Throughout the discussion, unsolved problems are mentioned and areas undergoing current development are emphasized. A short bibliography lists most recent articles on (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  42. Natural Deduction: A Proof-Theoretical Study. [REVIEW]J. M. P. - 1966 - Review of Metaphysics 19 (3):596-596.
    We have here a systematic examination of systems of logic cast in "natural deduction" form, in the widest sense of that word. Naturally enough, the author begins with Gentzen-style systems, moves by means of the inversion principle in int-elim logics to deductions of classical and intuitionistic logic which have a canonical "normal form"; more briefly, but always with clarity, Prawitz examines natural deduction for second-order and modal logics, and also systems with even less usual forms of implication. Three appendices cover (...)
     
    Export citation  
     
    Bookmark  
  43.  27
    Studies in Subjective Probability. [REVIEW]J. M. P. - 1966 - Review of Metaphysics 19 (3):611-611.
    In this collection the authors have attempted to bring together a number of the essential papers in the subjective interpretation of probability theory; several of them—Borel's "Apropos of a theory on probability" and de Finetti's "Foresight: its logical laws, its subjective sources"—have never appeared before in English. Other articles include Venn's pioneering study as well as the more recent work of Ramsey, Koopman, and Savage. The editors provide an introduction which presents the three basic elements of any subjectivistic theory: probability (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  44. The Foundations of Mathematics: A Study in the Philosophy of Science. [REVIEW]J. M. P. - 1966 - Review of Metaphysics 20 (1):146-147.
    This is easily the most systematic survey of the foundations of logic and mathematics available today. Although Beth does not cover the development of set theory in great detail, all other aspects of logic are well represented. There are nine chapters which cover, though not in this order, the following: historical background and introduction to the philosophy of mathematics; the existence of mathematical objects as expressed by Logicism, Cantorism, Intuitionism, and Nominalism; informal elementary axiomatics; formalized axiomatics with reference to finitary (...)
     
    Export citation  
     
    Bookmark  
  45.  39
    The Mathematics of Metamathematics. [REVIEW]J. M. P. - 1965 - Review of Metaphysics 19 (1):157-157.
    This extensive work is both a systematization of past developments, and an extension to new areas, of the application of mathematical apparatus to the study of logical systems; it does not aim to include all such metamathematical devices, Gödel-numbering for example, but to emphasize algebraic and topological ones. The first part surveys required algebraic and topological notions; in the second part they are applied to classical logic—propositional and predicate calculi; in the final section, modal and intuitionistic, non-classical logics come under (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  46.  25
    The Theory of Sets and Transfinite Arithmetic. [REVIEW]J. M. P. - 1966 - Review of Metaphysics 19 (3):578-579.
    This is a text for a one or two semester course on axiomatic set theory; the goal is to introduce and develop one system of set theory in a complete and thorough way, presupposing only the elusive "mathematical maturity" of the reader. There are nine chapters which begin with a development of propositional and predicate logic oriented toward set theory and develop the Zermelo-Fraenkel system in exceptional detail. The book starts slowly, the first 120 pages being devoted to logical preliminaries (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  47.  39
    Discourse on Method, Optics, Geometry, and Meteorology. [REVIEW]J. M. P. - 1966 - Review of Metaphysics 19 (4):809-809.
    Descartes considered the methods of reasoning put forth in the Discourse to be correct because, among other justifications, he had examples of scientific theories in which the techniques were successful: the Optics, Meteorology, and Geometry. The chief value of this edition is to have the Discourse back in its proper setting, as well as the more obvious one of having available three works of importance in the history of the exact sciences in one compact and readable edition. The Optics is (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  48.  33
    Of the Standard of Taste and Other Essays. [REVIEW]J. M. P. - 1966 - Review of Metaphysics 19 (4):813-813.
    All the essays contained herein, with the exception of the last two—"On Suicide" and "On the Immortality of the Soul"—have appeared in the author's Essays, Moral, Political, and Literary ; the others were published posthumously. In this wide-ranging collection Hume addresses himself to aspects of aesthetics and literary criticism, the philosophy of history, philosophical "types", human nature and belief. The volume conveys a side of Hume too often forgotten in our present admiration of his foreshadowing of analytical philosophy: the man (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  49. Logic, Methodology, and Philosophy of Science: Proceedings of the 1964 International Congress. [REVIEW]J. M. P. - 1966 - Review of Metaphysics 20 (1):165-165.
    The emphasis in this collection is clearly on logic, and this is one reason why it lacks the overall diversity and richness of the 1960 Stanford volume. However, the eight sections do contain much interesting material; in the mathematical logic section Kochen and Specker continue their study of logics appropriate for quantum theory, Vaught presents several new results about the Löwenheim-Skolem theorem, and Büchi studies second-order ordinal theory from the viewpoint of automata theory; the section on foundations of mathematical theories (...)
     
    Export citation  
     
    Bookmark  
  50.  74
    The Logic of Decision. [REVIEW]J. M. P. - 1966 - Review of Metaphysics 19 (4):813-814.
    For a long while Bayesian techniques in statistics in general, and decision theory in particular, were considered suspect at best, and to be avoided; but now along comes Jeffrey with a system of subjective probability and utility functions determined by the individual's preferences, and a strongly Bayesian approach to decision-making, and by so doing puts the whole matter in a new light and makes it quite important to reassess the prior rejection of Bayesian methods. There are twelve chapters, each with (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
1 — 50 / 957